Corrections to \finite Buuer Realization of Input-output Discrete Event Systems"
نویسندگان
چکیده
This note presents a correction to 1, Theorem 4] which provides a necessary and suucient condition for dispatchability. 1 Notation The following additional notation is introduced: The notation s L s 0 is used to denote that strings s; s 0 are equivalent under the Nerode equivalence induced by the language L.
منابع مشابه
Finite Buuer Realization of Input-output Discrete Event Systems 1 ;2
Many discrete event systems (DESs) such as manufacturing systems, database management systems, communication networks, tra c systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that oc...
متن کاملFinite Buffer Realization of Input-Output Discrete Event Systems
Many discrete event systems (DESs) such as manufacturing systems, database management systems, communication networks, traffic systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that ...
متن کاملFinite Bu er Realization of Input - Output
Many discrete event systems (DESs) such as manufacturing systems, data base management systems, communication networks, tra c systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that o...
متن کاملIdentification of a Class of Discrete Event Systems by Neural Networks - Sparse Realization -
In analysis and design of a system, the first goal is to obtain an appropriate model of the system. Because of the complex dynamics of discrete event systems (DESs), it is very difficult to obtain a model of unknown DESs from given input and output data. This paper discusses an identification and realization method of a class of DESs by neural networks. We consider a class of DESs which is mode...
متن کاملEigenvalue Assignment Of Discrete-Time Linear Systems With State And Input Time-Delays
Time-delays are important components of many dynamical systems that describe coupling or interconnection between dynamics, propagation or transport phenomena, and heredity and competition in population dynamics. The stabilization with time delay in observation or control represents difficult mathematical challenges in the control of distributed parameter systems. It is well-known that the stabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007